Polarity-pragma-for-defined-name.agda:6,14-15
Polarity pragmas have been given for the following identifiers
which are not postulates: A
